Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA

Safety Assurance Contracts for Integrated Modular Avionics

This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system components. This is achieved by analysing each component in the context of the overall system design and then finding derived safety requirements. Each IMA component (hardware, software or both) is then examined to dete...

Safety-Critical Software Development for Integrated Modular Avionics

Many avionics systems have been successfully developed using custom hardware and software. However, in recent years, the full life-cycle costs of customized systems have forced original equipment manufacturers (OEMs) to consider the use of COTS-based systems. At the same time, there has been a noticeable migration away from federated architectures, where each individual subsystem performs a ded...

Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures

Increasing complexity of avionics systems leads to reconsider methods that are used today to analyze them from a safety point of view. This paper presents how the Model-based techniques can be used for safety assessment in early validation to support flexible and rapid prototyping of integrated systems (such as Integrated Modular Avionics and Cockpit Display), in order to evaluate and compare s...

Model-based Architecting and Optimization of Distributed Integrated Modular Avionics

A Framework for Model-based Testing of Integrated Modular Avionics

In modern aircraft, electronics and control systems are designed based on the Integrated Modular Avionics (IMA) system architecture. While this has numerous advantages (reduction of weight, reduced power and fuel consumption, reduction of development cost and certification effort), the IMA platform also adds an additional layer of complexity. Due to the safety-critical nature of many avionics f...